A Conservative Look at Operational Semantics with Variable Binding
نویسندگان
چکیده
منابع مشابه
A Conservative Look at Operational Semantics with Variable Binding
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechanisms and substitutions, among other notions such as negative hypotheses and unary predicates on terms. The framework is used to present a conservativity format in operational semantics, which states sufficient criteria ...
متن کاملA Conservative Look at Term Deduction Systems with Variable Binding
We set up a formal framework to describe term deduction systems such as tran sition system speci cations in the style of Plotkin and conditional term rewriting systems This framework has the power to express many sortedness general bind ing mechanisms and substitutions among other notions such as negative premises and unary predicates on terms The framework is used to present a conservativity f...
متن کاملConservative Extension in Structural Operational Semantics
Structural operational semantics (SOS) [44] provides a framework to give an operational semantics to programming and specification languages. In particular, because of its intuitive appeal and flexibility, SOS has found considerable application in the study of the semantics of concurrent processes. SOS generates a labelled transition system, whose states are the closed terms over an algebraic s...
متن کاملLinking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
Complex sfotware systems typically involve features like time, concurrency and probability, and probabilistic computations are playing an increasing role. However it is currently challenging to formalize languages incorporating all those features. Recently the language PTSC has been proposed to integrate probability and time with shared-variable concurrency [56, 59], where the operational seman...
متن کاملVariable selection with error control: another look at stability selection
Stability selection was recently introduced by Meinshausen and Bühlmann as a very general technique designed to improve the performance of a variable selection algorithm. It is based on aggregating the results of applying a selection procedure to subsamples of the data. We introduce a variant, called complementary pairs stability selection, and derive bounds both on the expected number of varia...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1998
ISSN: 0890-5401
DOI: 10.1006/inco.1998.2729